Greasemonkey est une extension pour les navigateurs Web Mozilla Firefox et Epiphany (tous deux basés sur le moteur de rendu de pages web Gecko) permettant de modifier le comportement d'une page Web en associant un script JavaScript au chargement de celle-ci. Il est ainsi possible d'intervenir sur une page Web pour y ajouter ou supprimer du contenu et y modifier le comportement des liens, entre autres.
De très nombreux scripts sont mis à disposition par les internautes qui les ont conçus.
Site officiel pour les scripts (communauté userscript.org).
Vous pouvez également transformer les scripts en bookmarklet.
Greasemonkey peut changer le design des pages, mais on lui préférera l'extension stylish. Stylish affectera le rendu directement contrairement à greasemonkey qui le changera par javascript (donc on aperçoit la page non changée à chaque fois). Vous pouvez tout de même utiliser les script - modificateur de style de la communauté userstyle.org.
Puis utilisez
Une alternative est l'utilisation de l'extension firefox MediaPlayerConnectivity et le configurer pour lancer dans vlc ( par exemple ) - nécessite d'avoir les dernières versions.
Ajouter un lecteur mp3 dans la page à côté des liens mp3.
A utiliser conjointement avec l'extension linkification pour transformer les liens texte, en véritable lien cliquable ( au lieu de copier le texte pour le mettre dans la bar d'url ) :
Télécharger automatiquement à partir de :
Utiliser cette page pour convertir les scripts greasemonkey en extension Firefox. ( fonctionne également pour tout autre script javascript ).
Procédure :